Integrating Theories and Techniques for Program Modelling, Design and Verification
نویسندگان
چکیده
This submission presents our understanding of the Grand Challenge and propose an agenda on how we will position our research to contribute to this world-wide collaborative research project.
منابع مشابه
Integrating Theories and Techniques for Program Modelling, Design and Verification Positioning the Research at UNU-IIST in Collaborative Research on the Verified Software Challenge
This position paper presents our understanding of the Grand Challenge and proposes an agenda on how we will position our research to contribute to this world-wide collaborative research project.
متن کاملFeasibility Study of Integrating Multi Effect Desalination and Gas Turbine Systems for Lavan Island Oil Refinery
In this research, feasibility study of integrating thermal desalination unit with Gas Turbine (GT) has been investigated using retrofit and grass root design techniques for Lavan Island Oil Refinery which is located in Persian Gulf. According to computed parameters on developed code for the power generation unit No.1 using EES (Engineering Equation Solver) software, thermal efficiency of t...
متن کاملModelling and Test Verification of Suspension Optimal Damping Ratio for Electric Vehicles Considering Occupant-cushion and In-wheel Motor Effects
The damping ratio of chassis suspension is a key parameter for damping matching of in-wheel motor vehicles (IWMVs). Because the motor is attached to the driving wheel, the initial design method of the damping ratio for traditional cars is not entirely suitable for IWMVs. This paper proposes an innovative initial design method of the damping ratio for IWMVs. Firstly, a traveling vibration model ...
متن کاملPatterns and templates for automated verification of user interface software design in PVS
This paper introduces a set of PVS theories for modelling and analysis of usability and safety aspects of user interface software design. Our PVS theories crystallise general usability issues commonly addressed in user‐centred safety requirements, such as the ability to undo user actions, the visibility of operational modes, and the predictability of user interface behaviour. These requirements...
متن کاملModel-based Engineering of Emergence in a Collaborative SoS: Exploiting SysML & Formalism
A collaborative SoS is a system composed of constituent systems (CSs), which are independent and voluntarily cooperate without an agreed SoS director. Engineering emergent behaviour is just one of the key engineering challenges for which support is needed. In this paper we illustrate for the first time an integrated collection of modelbased techniques for verifying behaviours and properties, wi...
متن کامل